Showing items 1 - 3 of 3

Formal specification at model-level of model-driven engineering using modelling techniques

- Jnanamurthy, H. K., Henskens, Frans, Paul, David, Wallis, Mark

Multi-level analysis of IEC 61131-3 languages to detect clones

- Jnanamurthy, H. K., Jetley, Raoul, Henskens, Frans, Paul, David, Wallis, Mark, Sudarsan, S. D.

Verification of interactive automated air traffic control system in a model driven approach

- Jnanamurthy, H. K., Henskens, Frans, Paul, David

  • 1
  • Disclaimer
  • Privacy
  • Copyright
  • Contact
  • Deposit